<html><head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">


<title>TPPT</title>
<link rel="stylesheet" type="text/css" href="/static/style.css">
</head><body>
<table>
<tbody><tr><td colspan="2"><h1>Theory Prover Performance Tool</h1></td></tr>
<tr>
<td class="navigator">
<ul class="menu">

	
	<li>Highlights
	<ul>
		
		<li><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjDBAw/?">SInE</a>
		
		</li><li><a href="http://tppt.appspot.com/static/files/results_E_S_V.html">SUMO Results</a>
		
	</li></ul>
	
	</li><li>Data
	<ul>
		
		<li><a href="http://tppt.appspot.com/index/Division/?">Divisions</a>
		
		</li><li><a href="http://tppt.appspot.com/index/AxiomFamily/?">Axiom families</a>
		
		</li><li><a href="http://tppt.appspot.com/index/AxiomSet/?">Axiom sets</a>
		
		</li><li><a href="http://tppt.appspot.com/index/Problem/?">Problems</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ProblemGroup/?">Problem groups</a>
		
		</li><li><a href="http://tppt.appspot.com/index/Result/?">Results</a>
		
		</li><li><a href="http://tppt.appspot.com/index/Proof/?">Proofs</a>
		
	</li></ul>
	
	</li><li>Tools
	<ul>
		
		<li><a href="http://tppt.appspot.com/import">Upload data</a>
		
		</li><li><a href="http://tppt.appspot.com/static/files/submitter.txt">Sample submitter</a>
		
		</li><li><a href="http://tppt.appspot.com/cart_analyzer/?">Cart analyzer</a>
		
	</li></ul>
	
	</li><li>Enumerations
	<ul>
		
		<li><a href="http://tppt.appspot.com/index/Prover/?">Provers</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ProverVersion/?">Prover versions</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ProverInstance/?">Prover instances</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ProblemStatus/?">Problem statuses</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ResultType/?">Result types</a>
		
		</li><li><a href="http://tppt.appspot.com/index/ResultEvaluation/?">Result evaluations</a>
		
		</li><li><a href="http://tppt.appspot.com/index/OutputFormat/?">Output formats</a>
		
		</li><li><a href="http://tppt.appspot.com/index/CPUFamily/?">CPU families</a>
		
		</li><li><a href="http://tppt.appspot.com/index/OS/?">Operating systems</a>
		
		</li><li><a href="http://tppt.appspot.com/index/Computer/?">Computers</a>
		
	</li></ul>
	

</li></ul>

<table class="cart">
	<tbody><tr><th colspan="2">Cart content</th></tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProblemGroup/agR0cHB0chMLEgxQcm9ibGVtR3JvdXAY6AgM/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProblemGroup/agR0cHB0chMLEgxQcm9ibGVtR3JvdXAY6AgM/?">SUMO+MILO</a></td>
	</tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjYBww/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjYBww/?">sine0t100</a></td>
	</tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRiZCAw/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRiZCAw/?">v9t100</a></td>
	</tr>
	
	<tr>
	<th><a href="http://tppt.appspot.com/remove_from_cart/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRj1Bww/?">(x)</a></th>
	<td><a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRj1Bww/?">sine0v9t100</a></td>
	</tr>
	
	<tr><th colspan="2"><a href="http://tppt.appspot.com/empty_cart/?">(remove all)</a></th></tr>
</tbody></table>


<div>Based on <br><a href="http://www.tptp.org/">The TPTP Problem Library</a></div>
</td>
<td>


<div>Results of selected provers on selected problems:</div>

<table>
<tbody><tr>
<th>Problem</th>
<th>Status</th>

	<th>
	<a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRjYBww/?">sine0t100</a>
	</th>

	<th>
	<a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRiZCAw/?">v9t100</a>
	</th>

	<th>
	<a href="http://tppt.appspot.com/details/ProverInstance/agR0cHB0chULEg5Qcm92ZXJJbnN0YW5jZRj1Bww/?">sine0v9t100</a>
	</th>

</tr>


<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOAEDA/?">CSR075+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsQgM/?" title="fail">183.57</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-gcM/?" title="ok">60.31</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYvwoM/?" title="fail">184.25</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGJsFDA/?">CSR076+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3wcM/?" title="fail">192.52</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYxQkM/?" title="ok">88.1</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYmwsM/?" title="fail">192.91</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGL0EDA/?">CSR077+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8QcM/?" title="none">192.93</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYoAgM/?" title="none">104.07</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiQsM/?" title="none">193.07</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGPgEDA/?">CSR078+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8gcM/?" title="none">192.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnwkM/?" title="none">0.49</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiQoM/?" title="none">192.96</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGIMEDA/?">CSR079+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnQgM/?" title="ok">90.17</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-wcM/?" title="fail">104.18</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYqgwM/?" title="ok">90.19</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGI4FDA/?">CSR080+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiQgM/?" title="ok">92.6</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYhAkM/?" title="fail">104.07</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnAsM/?" title="ok">92.43</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGJgEDA/?">CSR081+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYzgcM/?" title="bad">114.69</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY2gkM/?" title="bad">88.67</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9woM/?" title="bad">114.34</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGMAEDA/?">CSR082+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY2QgM/?" title="ok">89.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY7QkM/?" title="ok">78.27</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY_QwM/?" title="ok">90.44</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGPsEDA/?">CSR083+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtAgM/?" title="ok">89.61</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYxgkM/?" title="ok">5.91</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY2QwM/?" title="ok">90.15</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGJwFDA/?">CSR084+2</a></th>
	<td>Unk</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8wcM/?" title="none">194.57</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYhQkM/?" title="none">104.07</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYqA0M/?" title="none">193.82</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKUEDA/?">CSR085+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiwgM/?" title="ok">89.84</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3AkM/?" title="ok">6.14</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYzw0M/?" title="ok">89.56</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGLIFDA/?">CSR086+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtggM/?" title="ok">89.96</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtQkM/?" title="ok">63.21</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8wwM/?" title="ok">89.66</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOQEDA/?">CSR087+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnggM/?" title="none">192.9</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtgkM/?" title="bad">85.84</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnQ0M/?" title="none">193.55</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGM8EDA/?">CSR088+2</a></th>
	<td>Unk</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9AcM/?" title="none">192.82</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="discovery">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYkAkM/?" title="new">87.87</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYwAwM/?" title="none">193.09</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGJ8FDA/?">CSR089+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtwgM/?" title="fail">193.23</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYxwkM/?" title="ok">88.04</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiw0M/?" title="fail">193.19</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKgEDA/?">CSR090+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjAgM/?" title="fail">89.77</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYoAkM/?" title="ok">88.12</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY1g0M/?" title="ok">109.83</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGLUFDA/?">CSR091+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY9gcM/?" title="fail">193.41</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYhwkM/?" title="ok">88.38</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYxQ0M/?" title="fail">192.82</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOcEDA/?">CSR092+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY7QgM/?" title="ok">90.43</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYxggM/?" title="ok">36.18</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4QwM/?" title="ok">90.01</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGNIEDA/?">CSR093+2</a></th>
	<td>Unk</td>
	
		<td>
		
			<span class="discovery">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuAgM/?" title="new">90.49</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="discovery">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYxwgM/?" title="new">86.42</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="discovery">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyAsM/?" title="new">110.87</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKIFDA/?">CSR094+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiQkM/?" title="ok">89.69</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8AkM/?" title="fail">104.17</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4g0M/?" title="ok">89.86</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKsEDA/?">CSR095+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY2ggM/?" title="none">192.85</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3QkM/?" title="none">104.07</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYnQ4M/?" title="none">193.4</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGLgFDA/?">CSR096+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY5AcM/?" title="fail">193.89</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyQkM/?" title="ok">88.04</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjQ0M/?" title="fail">192.93</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOoEDA/?">CSR097+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYvwgM/?" title="none">194.38</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8gkM/?" title="bad">87.05</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjw0M/?" title="none">193.75</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGNUEDA/?">CSR098+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY7ggM/?" title="ok">89.65</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYygkM/?" title="ok">1.94</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsw0M/?" title="ok">89.31</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKUFDA/?">CSR099+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY7wgM/?" title="ok">88.84</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYkgkM/?" title="ok">88.43</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyQ0M/?" title="ok">90.43</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGK4EDA/?">CSR100+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYwAgM/?" title="ok">90.32</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYoQkM/?" title="fail">104.18</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtQ0M/?" title="ok">90.19</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGLsFDA/?">CSR101+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY-AcM/?" title="ok">89.5</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYpAgM/?" title="ok">87.71</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtg0M/?" title="ok">89.93</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGL0FDA/?">CSR102+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYwggM/?" title="none">193.43</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyQgM/?" title="bad">86.07</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYtw0M/?" title="none">193.51</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGNgEDA/?">CSR103+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY8QgM/?" title="ok">89.42</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYlAkM/?" title="ok">1.18</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYkA0M/?" title="ok">90.08</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGKgFDA/?">CSR104+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYigkM/?" title="ok">88.84</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYlQkM/?" title="ok">88.58</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsg4M/?" title="ok">111.39</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGPkFDA/?">CSR105+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYiwkM/?" title="none">192.77</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYowkM/?" title="bad">89.07</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyg0M/?" title="none">193.68</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGNIFDA/?">CSR106+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYjAkM/?" title="none">193.2</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuAkM/?" title="bad">88.55</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYoQ4M/?" title="none">193.5</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGMAFDA/?">CSR107+2</a></th>
	<td>CtSat</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY3ggM/?" title="none">193.58</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="wrong">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYuQkM/?" title="bad">87.36</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="nothing">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYog4M/?" title="none">193.88</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGOcFDA/?">CSR108+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQY4AgM/?" title="fail">125.57</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYlwoM/?" title="ok">87.2</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYsw4M/?" title="fail">113.93</a>
			</span>
		
		</td>
	

</tr>

<tr>
	<th><a href="http://tppt.appspot.com/details/Problem/agR0cHB0cg4LEgdQcm9ibGVtGI8GDA/?">CSR109+2</a></th>
	<td>Thm</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYngkM/?" title="ok">89.8</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="fail">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYywgM/?" title="fail">104.18</a>
			</span>
		
		</td>
	
		<td>
		
			<span class="ok">
			<a href="http://tppt.appspot.com/details/Result/agR0cHB0cg0LEgZSZXN1bHQYyw0M/?" title="ok">90.2</a>
			</span>
		
		</td>
	

</tr>

</tbody></table>


</td>
</tr>
</tbody></table>

<script type="text/javascript">
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
</script><script src="results_MILO_S_V_files/ga.js" type="text/javascript"></script>
<script type="text/javascript">
var pageTracker = _gat._getTracker("UA-3758565-3");
pageTracker._initData();
pageTracker._trackPageview();
</script>
</body></html>